/*
 * Copyright (c) Huawei Technologies Co., Ltd. 2019-2019.
 * Description: ACPI ID is used to identify a device in ACPI. A valid ACPI ID
 * must be of the form “NNNN####” where N is an uppercase letter or
 * a digit (‘0’-‘9’) that identifies the manufacturer of the
 * device (the “Vendor ID”), and # is a hex digit that identifies the specific
 * device manufactured by that vendor (the “Device ID”).
 * Author: xiaojiangfeng
 * Create: 2019-04-29
 */

#ifndef __RTOS_ACPI_ID_H
#define __RTOS_ACPI_ID_H

/*
 * ACPI ID is mainly used in the _HID (Hardware ID), All these devices must
 * contain a _HID in order to allow the operating system to uniquely
 * recognize the device so that it can load the appropriate driver software.
 */

/* RTOS use the prefix “RTOS” to identify various feature of RTOS. */

#define RTOS_ACPI_HID_FIQ_GLUE "RTOS0001"
#define RTOS_ACPI_HID_CACHE_DFX "RTOS0002"
#define RTOS_ACPI_HID_LED "RTOS0003"
#define RTOS_ACPI_HID_TIME_JUMP_DFX "RTOS0004"
#define RTOS_ACPI_HID_MEM_HOT_REPAIR "RTOS0005"


#endif /* __RTOS_ACPI_ID_H */
